2976d4ead7712815eefb3ee1185fada0e8f5915f,bparser/src/main/java/de/be4/classicalb/core/parser/analysis/transforming/rules/RuleTransformation.java,RuleTransformation,addToStringDefinition,#,616

In pattern: SUPERPATTERN

Frequency: 4

Non-data size: 8


Instances


1469964170
dominik_hansen@web.de
bendisposto/probparsers,2976d4ead7712815eefb3ee1185fada0e8f5915f,bparser/src/main/java/de/be4/classicalb/core/parser/analysis/transforming/rules/RuleTransformation.java,RuleTransformation,addToStringDefinition,#,616


1469964170
dominik_hansen@web.de
bendisposto/probparsers,2976d4ead7712815eefb3ee1185fada0e8f5915f,bparser/src/main/java/de/be4/classicalb/core/parser/analysis/transforming/rules/RuleTransformation.java,RuleTransformation,addChooseDefinition,#,632


1469964170
dominik_hansen@web.de
bendisposto/probparsers,2976d4ead7712815eefb3ee1185fada0e8f5915f,bparser/src/main/java/de/be4/classicalb/core/parser/analysis/transforming/rules/RuleTransformation.java,RuleTransformation,addChooseDefinition,#,632


1469964170
dominik_hansen@web.de
bendisposto/probparsers,2976d4ead7712815eefb3ee1185fada0e8f5915f,bparser/src/main/java/de/be4/classicalb/core/parser/analysis/transforming/rules/RuleTransformation.java,RuleTransformation,addToStringDefinition,#,616